free cyclic group

自由循环群